no_payment_due(student1000,pos).
no_payment_due(student999,pos).
no_payment_due(student998,pos).
no_payment_due(student996,pos).
no_payment_due(student994,pos).
no_payment_due(student993,pos).
no_payment_due(student992,pos).
no_payment_due(student990,pos).
no_payment_due(student989,pos).
no_payment_due(student987,pos).
no_payment_due(student985,pos).
no_payment_due(student984,pos).
no_payment_due(student983,pos).
no_payment_due(student981,pos).
no_payment_due(student977,pos).
no_payment_due(student976,pos).
no_payment_due(student975,pos).
no_payment_due(student972,pos).
no_payment_due(student970,pos).
no_payment_due(student969,pos).
no_payment_due(student968,pos).
no_payment_due(student967,pos).
no_payment_due(student963,pos).
no_payment_due(student962,pos).
no_payment_due(student959,pos).
no_payment_due(student958,pos).
no_payment_due(student956,pos).
no_payment_due(student955,pos).
no_payment_due(student953,pos).
no_payment_due(student952,pos).
no_payment_due(student950,pos).
no_payment_due(student949,pos).
no_payment_due(student948,pos).
no_payment_due(student947,pos).
no_payment_due(student946,pos).
no_payment_due(student945,pos).
no_payment_due(student943,pos).
no_payment_due(student942,pos).
no_payment_due(student940,pos).
no_payment_due(student937,pos).
no_payment_due(student936,pos).
no_payment_due(student935,pos).
no_payment_due(student932,pos).
no_payment_due(student928,pos).
no_payment_due(student927,pos).
no_payment_due(student926,pos).
no_payment_due(student924,pos).
no_payment_due(student923,pos).
no_payment_due(student920,pos).
no_payment_due(student918,pos).
no_payment_due(student916,pos).
no_payment_due(student915,pos).
no_payment_due(student913,pos).
no_payment_due(student910,pos).
no_payment_due(student909,pos).
no_payment_due(student908,pos).
no_payment_due(student906,pos).
no_payment_due(student905,pos).
no_payment_due(student904,pos).
no_payment_due(student902,pos).
no_payment_due(student901,pos).
no_payment_due(student897,pos).
no_payment_due(student896,pos).
no_payment_due(student895,pos).
no_payment_due(student894,pos).
no_payment_due(student893,pos).
no_payment_due(student891,pos).
no_payment_due(student890,pos).
no_payment_due(student888,pos).
no_payment_due(student887,pos).
no_payment_due(student885,pos).
no_payment_due(student881,pos).
no_payment_due(student879,pos).
no_payment_due(student877,pos).
no_payment_due(student874,pos).
no_payment_due(student871,pos).
no_payment_due(student870,pos).
no_payment_due(student868,pos).
no_payment_due(student867,pos).
no_payment_due(student866,pos).
no_payment_due(student864,pos).
no_payment_due(student863,pos).
no_payment_due(student859,pos).
no_payment_due(student858,pos).
no_payment_due(student856,pos).
no_payment_due(student855,pos).
no_payment_due(student854,pos).
no_payment_due(student852,pos).
no_payment_due(student850,pos).
no_payment_due(student849,pos).
no_payment_due(student847,pos).
no_payment_due(student846,pos).
no_payment_due(student842,pos).
no_payment_due(student841,pos).
no_payment_due(student840,pos).
no_payment_due(student838,pos).
no_payment_due(student836,pos).
no_payment_due(student835,pos).
no_payment_due(student832,pos).
no_payment_due(student831,pos).
no_payment_due(student830,pos).
no_payment_due(student828,pos).
no_payment_due(student827,pos).
no_payment_due(student825,pos).
no_payment_due(student823,pos).
no_payment_due(student821,pos).
no_payment_due(student820,pos).
no_payment_due(student817,pos).
no_payment_due(student814,pos).
no_payment_due(student812,pos).
no_payment_due(student809,pos).
no_payment_due(student808,pos).
no_payment_due(student807,pos).
no_payment_due(student806,pos).
no_payment_due(student805,pos).
no_payment_due(student804,pos).
no_payment_due(student803,pos).
no_payment_due(student800,pos).
no_payment_due(student798,pos).
no_payment_due(student797,pos).
no_payment_due(student795,pos).
no_payment_due(student794,pos).
no_payment_due(student792,pos).
no_payment_due(student790,pos).
no_payment_due(student789,pos).
no_payment_due(student788,pos).
no_payment_due(student787,pos).
no_payment_due(student785,pos).
no_payment_due(student783,pos).
no_payment_due(student781,pos).
no_payment_due(student780,pos).
no_payment_due(student779,pos).
no_payment_due(student778,pos).
no_payment_due(student776,pos).
no_payment_due(student775,pos).
no_payment_due(student774,pos).
no_payment_due(student773,pos).
no_payment_due(student770,pos).
no_payment_due(student769,pos).
no_payment_due(student768,pos).
no_payment_due(student765,pos).
no_payment_due(student764,pos).
no_payment_due(student762,pos).
no_payment_due(student761,pos).
no_payment_due(student760,pos).
no_payment_due(student758,pos).
no_payment_due(student757,pos).
no_payment_due(student754,pos).
no_payment_due(student753,pos).
no_payment_due(student751,pos).
no_payment_due(student750,pos).
no_payment_due(student749,pos).
no_payment_due(student748,pos).
no_payment_due(student747,pos).
no_payment_due(student746,pos).
no_payment_due(student745,pos).
no_payment_due(student744,pos).
no_payment_due(student743,pos).
no_payment_due(student742,pos).
no_payment_due(student741,pos).
no_payment_due(student740,pos).
no_payment_due(student739,pos).
no_payment_due(student738,pos).
no_payment_due(student735,pos).
no_payment_due(student734,pos).
no_payment_due(student733,pos).
no_payment_due(student732,pos).
no_payment_due(student729,pos).
no_payment_due(student727,pos).
no_payment_due(student724,pos).
no_payment_due(student723,pos).
no_payment_due(student721,pos).
no_payment_due(student719,pos).
no_payment_due(student717,pos).
no_payment_due(student714,pos).
no_payment_due(student712,pos).
no_payment_due(student710,pos).
no_payment_due(student709,pos).
no_payment_due(student705,pos).
no_payment_due(student702,pos).
no_payment_due(student701,pos).
no_payment_due(student700,pos).
no_payment_due(student699,pos).
no_payment_due(student698,pos).
no_payment_due(student697,pos).
no_payment_due(student696,pos).
no_payment_due(student690,pos).
no_payment_due(student689,pos).
no_payment_due(student688,pos).
no_payment_due(student686,pos).
no_payment_due(student684,pos).
no_payment_due(student682,pos).
no_payment_due(student680,pos).
no_payment_due(student679,pos).
no_payment_due(student678,pos).
no_payment_due(student677,pos).
no_payment_due(student676,pos).
no_payment_due(student674,pos).
no_payment_due(student673,pos).
no_payment_due(student672,pos).
no_payment_due(student670,pos).
no_payment_due(student668,pos).
no_payment_due(student667,pos).
no_payment_due(student666,pos).
no_payment_due(student665,pos).
no_payment_due(student664,pos).
no_payment_due(student663,pos).
no_payment_due(student662,pos).
no_payment_due(student661,pos).
no_payment_due(student660,pos).
no_payment_due(student659,pos).
no_payment_due(student658,pos).
no_payment_due(student656,pos).
no_payment_due(student655,pos).
no_payment_due(student652,pos).
no_payment_due(student651,pos).
no_payment_due(student650,pos).
no_payment_due(student649,pos).
no_payment_due(student647,pos).
no_payment_due(student646,pos).
no_payment_due(student645,pos).
no_payment_due(student642,pos).
no_payment_due(student641,pos).
no_payment_due(student638,pos).
no_payment_due(student635,pos).
no_payment_due(student634,pos).
no_payment_due(student632,pos).
no_payment_due(student631,pos).
no_payment_due(student629,pos).
no_payment_due(student628,pos).
no_payment_due(student627,pos).
no_payment_due(student626,pos).
no_payment_due(student625,pos).
no_payment_due(student624,pos).
no_payment_due(student621,pos).
no_payment_due(student620,pos).
no_payment_due(student619,pos).
no_payment_due(student617,pos).
no_payment_due(student616,pos).
no_payment_due(student615,pos).
no_payment_due(student614,pos).
no_payment_due(student613,pos).
no_payment_due(student612,pos).
no_payment_due(student611,pos).
no_payment_due(student610,pos).
no_payment_due(student609,pos).
no_payment_due(student608,pos).
no_payment_due(student607,pos).
no_payment_due(student606,pos).
no_payment_due(student605,pos).
no_payment_due(student603,pos).
no_payment_due(student602,pos).
no_payment_due(student601,pos).
no_payment_due(student600,pos).
no_payment_due(student599,pos).
no_payment_due(student598,pos).
no_payment_due(student596,pos).
no_payment_due(student595,pos).
no_payment_due(student594,pos).
no_payment_due(student593,pos).
no_payment_due(student592,pos).
no_payment_due(student591,pos).
no_payment_due(student590,pos).
no_payment_due(student589,pos).
no_payment_due(student588,pos).
no_payment_due(student587,pos).
no_payment_due(student585,pos).
no_payment_due(student584,pos).
no_payment_due(student583,pos).
no_payment_due(student581,pos).
no_payment_due(student580,pos).
no_payment_due(student579,pos).
no_payment_due(student578,pos).
no_payment_due(student576,pos).
no_payment_due(student575,pos).
no_payment_due(student573,pos).
no_payment_due(student572,pos).
no_payment_due(student570,pos).
no_payment_due(student569,pos).
no_payment_due(student568,pos).
no_payment_due(student567,pos).
no_payment_due(student565,pos).
no_payment_due(student562,pos).
no_payment_due(student560,pos).
no_payment_due(student559,pos).
no_payment_due(student556,pos).
no_payment_due(student555,pos).
no_payment_due(student554,pos).
no_payment_due(student553,pos).
no_payment_due(student550,pos).
no_payment_due(student547,pos).
no_payment_due(student546,pos).
no_payment_due(student544,pos).
no_payment_due(student541,pos).
no_payment_due(student539,pos).
no_payment_due(student538,pos).
no_payment_due(student536,pos).
no_payment_due(student534,pos).
no_payment_due(student533,pos).
no_payment_due(student531,pos).
no_payment_due(student530,pos).
no_payment_due(student529,pos).
no_payment_due(student527,pos).
no_payment_due(student526,pos).
no_payment_due(student523,pos).
no_payment_due(student522,pos).
no_payment_due(student519,pos).
no_payment_due(student517,pos).
no_payment_due(student515,pos).
no_payment_due(student512,pos).
no_payment_due(student511,pos).
no_payment_due(student508,pos).
no_payment_due(student505,pos).
no_payment_due(student504,pos).
no_payment_due(student503,pos).
no_payment_due(student502,pos).
no_payment_due(student500,pos).
no_payment_due(student498,pos).
no_payment_due(student497,pos).
no_payment_due(student496,pos).
no_payment_due(student495,pos).
no_payment_due(student494,pos).
no_payment_due(student493,pos).
no_payment_due(student492,pos).
no_payment_due(student491,pos).
no_payment_due(student490,pos).
no_payment_due(student488,pos).
no_payment_due(student486,pos).
no_payment_due(student485,pos).
no_payment_due(student481,pos).
no_payment_due(student480,pos).
no_payment_due(student479,pos).
no_payment_due(student477,pos).
no_payment_due(student476,pos).
no_payment_due(student475,pos).
no_payment_due(student474,pos).
no_payment_due(student473,pos).
no_payment_due(student472,pos).
no_payment_due(student470,pos).
no_payment_due(student468,pos).
no_payment_due(student467,pos).
no_payment_due(student465,pos).
no_payment_due(student459,pos).
no_payment_due(student458,pos).
no_payment_due(student452,pos).
no_payment_due(student450,pos).
no_payment_due(student448,pos).
no_payment_due(student447,pos).
no_payment_due(student446,pos).
no_payment_due(student444,pos).
no_payment_due(student443,pos).
no_payment_due(student442,pos).
no_payment_due(student441,pos).
no_payment_due(student440,pos).
no_payment_due(student439,pos).
no_payment_due(student438,pos).
no_payment_due(student436,pos).
no_payment_due(student433,pos).
no_payment_due(student432,pos).
no_payment_due(student431,pos).
no_payment_due(student430,pos).
no_payment_due(student429,pos).
no_payment_due(student428,pos).
no_payment_due(student425,pos).
no_payment_due(student423,pos).
no_payment_due(student422,pos).
no_payment_due(student421,pos).
no_payment_due(student420,pos).
no_payment_due(student417,pos).
no_payment_due(student416,pos).
no_payment_due(student415,pos).
no_payment_due(student414,pos).
no_payment_due(student412,pos).
no_payment_due(student411,pos).
no_payment_due(student410,pos).
no_payment_due(student409,pos).
no_payment_due(student407,pos).
no_payment_due(student406,pos).
no_payment_due(student405,pos).
no_payment_due(student404,pos).
no_payment_due(student403,pos).
no_payment_due(student401,pos).
no_payment_due(student400,pos).
no_payment_due(student399,pos).
no_payment_due(student397,pos).
no_payment_due(student396,pos).
no_payment_due(student395,pos).
no_payment_due(student391,pos).
no_payment_due(student389,pos).
no_payment_due(student388,pos).
no_payment_due(student386,pos).
no_payment_due(student385,pos).
no_payment_due(student384,pos).
no_payment_due(student382,pos).
no_payment_due(student380,pos).
no_payment_due(student378,pos).
no_payment_due(student377,pos).
no_payment_due(student376,pos).
no_payment_due(student373,pos).
no_payment_due(student372,pos).
no_payment_due(student371,pos).
no_payment_due(student370,pos).
no_payment_due(student369,pos).
no_payment_due(student368,pos).
no_payment_due(student367,pos).
no_payment_due(student364,pos).
no_payment_due(student361,pos).
no_payment_due(student359,pos).
no_payment_due(student354,pos).
no_payment_due(student352,pos).
no_payment_due(student351,pos).
no_payment_due(student350,pos).
no_payment_due(student349,pos).
no_payment_due(student347,pos).
no_payment_due(student346,pos).
no_payment_due(student342,pos).
no_payment_due(student340,pos).
no_payment_due(student339,pos).
no_payment_due(student338,pos).
no_payment_due(student337,pos).
no_payment_due(student336,pos).
no_payment_due(student334,pos).
no_payment_due(student333,pos).
no_payment_due(student331,pos).
no_payment_due(student330,pos).
no_payment_due(student329,pos).
no_payment_due(student328,pos).
no_payment_due(student324,pos).
no_payment_due(student323,pos).
no_payment_due(student322,pos).
no_payment_due(student318,pos).
no_payment_due(student317,pos).
no_payment_due(student316,pos).
no_payment_due(student315,pos).
no_payment_due(student314,pos).
no_payment_due(student313,pos).
no_payment_due(student309,pos).
no_payment_due(student308,pos).
no_payment_due(student306,pos).
no_payment_due(student305,pos).
no_payment_due(student304,pos).
no_payment_due(student302,pos).
no_payment_due(student301,pos).
no_payment_due(student300,pos).
no_payment_due(student297,pos).
no_payment_due(student296,pos).
no_payment_due(student295,pos).
no_payment_due(student294,pos).
no_payment_due(student293,pos).
no_payment_due(student291,pos).
no_payment_due(student288,pos).
no_payment_due(student286,pos).
no_payment_due(student285,pos).
no_payment_due(student284,pos).
no_payment_due(student283,pos).
no_payment_due(student282,pos).
no_payment_due(student281,pos).
no_payment_due(student280,pos).
no_payment_due(student279,pos).
no_payment_due(student275,pos).
no_payment_due(student274,pos).
no_payment_due(student273,pos).
no_payment_due(student272,pos).
no_payment_due(student271,pos).
no_payment_due(student270,pos).
no_payment_due(student269,pos).
no_payment_due(student267,pos).
no_payment_due(student263,pos).
no_payment_due(student262,pos).
no_payment_due(student261,pos).
no_payment_due(student260,pos).
no_payment_due(student257,pos).
no_payment_due(student255,pos).
no_payment_due(student253,pos).
no_payment_due(student250,pos).
no_payment_due(student248,pos).
no_payment_due(student247,pos).
no_payment_due(student246,pos).
no_payment_due(student244,pos).
no_payment_due(student242,pos).
no_payment_due(student241,pos).
no_payment_due(student238,pos).
no_payment_due(student237,pos).
no_payment_due(student235,pos).
no_payment_due(student234,pos).
no_payment_due(student233,pos).
no_payment_due(student232,pos).
no_payment_due(student231,pos).
no_payment_due(student229,pos).
no_payment_due(student228,pos).
no_payment_due(student227,pos).
no_payment_due(student226,pos).
no_payment_due(student225,pos).
no_payment_due(student224,pos).
no_payment_due(student222,pos).
no_payment_due(student220,pos).
no_payment_due(student219,pos).
no_payment_due(student217,pos).
no_payment_due(student216,pos).
no_payment_due(student214,pos).
no_payment_due(student213,pos).
no_payment_due(student211,pos).
no_payment_due(student210,pos).
no_payment_due(student209,pos).
no_payment_due(student208,pos).
no_payment_due(student207,pos).
no_payment_due(student204,pos).
no_payment_due(student203,pos).
no_payment_due(student199,pos).
no_payment_due(student198,pos).
no_payment_due(student197,pos).
no_payment_due(student196,pos).
no_payment_due(student195,pos).
no_payment_due(student194,pos).
no_payment_due(student193,pos).
no_payment_due(student191,pos).
no_payment_due(student189,pos).
no_payment_due(student184,pos).
no_payment_due(student183,pos).
no_payment_due(student181,pos).
no_payment_due(student179,pos).
no_payment_due(student178,pos).
no_payment_due(student175,pos).
no_payment_due(student174,pos).
no_payment_due(student173,pos).
no_payment_due(student172,pos).
no_payment_due(student171,pos).
no_payment_due(student170,pos).
no_payment_due(student169,pos).
no_payment_due(student168,pos).
no_payment_due(student167,pos).
no_payment_due(student165,pos).
no_payment_due(student164,pos).
no_payment_due(student163,pos).
no_payment_due(student162,pos).
no_payment_due(student159,pos).
no_payment_due(student158,pos).
no_payment_due(student157,pos).
no_payment_due(student156,pos).
no_payment_due(student155,pos).
no_payment_due(student154,pos).
no_payment_due(student153,pos).
no_payment_due(student152,pos).
no_payment_due(student151,pos).
no_payment_due(student150,pos).
no_payment_due(student148,pos).
no_payment_due(student147,pos).
no_payment_due(student145,pos).
no_payment_due(student143,pos).
no_payment_due(student142,pos).
no_payment_due(student140,pos).
no_payment_due(student139,pos).
no_payment_due(student138,pos).
no_payment_due(student136,pos).
no_payment_due(student135,pos).
no_payment_due(student134,pos).
no_payment_due(student133,pos).
no_payment_due(student130,pos).
no_payment_due(student129,pos).
no_payment_due(student128,pos).
no_payment_due(student127,pos).
no_payment_due(student126,pos).
no_payment_due(student125,pos).
no_payment_due(student122,pos).
no_payment_due(student121,pos).
no_payment_due(student120,pos).
no_payment_due(student119,pos).
no_payment_due(student118,pos).
no_payment_due(student117,pos).
no_payment_due(student114,pos).
no_payment_due(student112,pos).
no_payment_due(student109,pos).
no_payment_due(student108,pos).
no_payment_due(student106,pos).
no_payment_due(student105,pos).
no_payment_due(student104,pos).
no_payment_due(student102,pos).
no_payment_due(student100,pos).
no_payment_due(student99,pos).
no_payment_due(student97,pos).
no_payment_due(student96,pos).
no_payment_due(student95,pos).
no_payment_due(student94,pos).
no_payment_due(student93,pos).
no_payment_due(student92,pos).
no_payment_due(student91,pos).
no_payment_due(student90,pos).
no_payment_due(student84,pos).
no_payment_due(student83,pos).
no_payment_due(student82,pos).
no_payment_due(student81,pos).
no_payment_due(student80,pos).
no_payment_due(student79,pos).
no_payment_due(student77,pos).
no_payment_due(student75,pos).
no_payment_due(student73,pos).
no_payment_due(student72,pos).
no_payment_due(student70,pos).
no_payment_due(student69,pos).
no_payment_due(student68,pos).
no_payment_due(student66,pos).
no_payment_due(student65,pos).
no_payment_due(student64,pos).
no_payment_due(student63,pos).
no_payment_due(student62,pos).
no_payment_due(student59,pos).
no_payment_due(student57,pos).
no_payment_due(student52,pos).
no_payment_due(student51,pos).
no_payment_due(student50,pos).
no_payment_due(student49,pos).
no_payment_due(student48,pos).
no_payment_due(student46,pos).
no_payment_due(student45,pos).
no_payment_due(student43,pos).
no_payment_due(student42,pos).
no_payment_due(student41,pos).
no_payment_due(student40,pos).
no_payment_due(student39,pos).
no_payment_due(student37,pos).
no_payment_due(student33,pos).
no_payment_due(student32,pos).
no_payment_due(student31,pos).
no_payment_due(student30,pos).
no_payment_due(student28,pos).
no_payment_due(student26,pos).
no_payment_due(student24,pos).
no_payment_due(student23,pos).
no_payment_due(student22,pos).
no_payment_due(student21,pos).
no_payment_due(student19,pos).
no_payment_due(student17,pos).
no_payment_due(student15,pos).
no_payment_due(student13,pos).
no_payment_due(student12,pos).
no_payment_due(student11,pos).
no_payment_due(student9,pos).
no_payment_due(student8,pos).
no_payment_due(student7,pos).
no_payment_due(student6,pos).
no_payment_due(student4,pos).
no_payment_due(student2,pos).
no_payment_due(student1,pos).